diff options
-rwxr-xr-x | tools/config-gen | 5 | ||||
-rw-r--r-- | tools/config-gen-functions.sh | 2 |
2 files changed, 4 insertions, 3 deletions
diff --git a/tools/config-gen b/tools/config-gen index 441e5a465..720c5a7dd 100755 --- a/tools/config-gen +++ b/tools/config-gen @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # # Copyright (C) 2011 Karel Zak <kzak@redhat.com> # @@ -24,7 +24,8 @@ for x in $opts; do done if [ -n "$CFLAGS" ]; then echo "CFLAGS: $CFLAGS" - export CFLAGS="$CFLAGS" + CFLAGS="$CFLAGS" + export CFLAGS fi echo diff --git a/tools/config-gen-functions.sh b/tools/config-gen-functions.sh index 4f0e575f6..17e5a41e7 100644 --- a/tools/config-gen-functions.sh +++ b/tools/config-gen-functions.sh @@ -11,7 +11,7 @@ # # ul_get_configuration $top_srcdir/tools/config-gen.d/all # -function ul_get_configuration { +ul_get_configuration() { local conf="$1" local dir=$(dirname $1) local opts=$(cat $conf) |