From 1a219a8e0ebf17d930fa303a60aaaa6c580db785 Mon Sep 17 00:00:00 2001 From: Ivan Davidov Date: Sun, 26 Nov 2017 23:44:04 +0200 Subject: [PATCH] No need for 'bash' as there are no more 'time' built-in references. --- src/build_minimal_linux_live.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/build_minimal_linux_live.sh b/src/build_minimal_linux_live.sh index 789c14d46..4f7401b6c 100755 --- a/src/build_minimal_linux_live.sh +++ b/src/build_minimal_linux_live.sh @@ -1,6 +1,6 @@ -#!/bin/bash +#!/bin/sh for script in $(ls | grep '^[0-9]*_.*.sh'); do echo "$script" - time ./"$script" + ./"$script" done