diff options
-rwxr-xr-x | scripts/make.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/make.sh b/scripts/make.sh index e827a5c9..9fbf086a 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -66,6 +66,11 @@ CFLAGS="$CFLAGS $(cat generated/cflags)" BUILD="$(echo ${CROSS_COMPILE}${CC} $CFLAGS -I . $OPTIMIZE $GITHASH)" FILES="$(echo lib/*.c main.c $TOYFILES)" +if [ "${FILES/pending//}" != "$FILES" ] +then + echo -e "\n\033[1;31mwarning: using unfinished code from toys/pending\033[0m" +fi + genbuildsh() { # Write a canned build line for use on crippled build machines. |