diff options
Diffstat (limited to 'out/config.sh')
| -rw-r--r-- | out/config.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/out/config.sh b/out/config.sh index b38fbd9..9b45b5f 100644 --- a/out/config.sh +++ b/out/config.sh @@ -6,3 +6,12 @@ fi CC=${CC-$PREF} CFLAGS="-g -Wall -Wextra -std=c99 -pedantic -Wno-gnu-statement-expression $CFLAGS" LDFLAGS="$LDFLAGS" + +if [ ! -n "$SH_BUILD" ]; then + if [ -f "../config.local" ]; then + redo-ifchange ../config.local + . ../config.local + else + redo-ifcreate ../config.local + fi +fi |