diff options
| -rwxr-xr-x | toolchain/dependencies/dependencies.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/toolchain/dependencies/dependencies.sh b/toolchain/dependencies/dependencies.sh index 18970e92c..a0506ec8c 100755 --- a/toolchain/dependencies/dependencies.sh +++ b/toolchain/dependencies/dependencies.sh @@ -46,6 +46,12 @@ if test -n "$CFLAGS" ; then fi; echo "CFLAGS clean: Ok" +if test -n "$INCLUDES" ; then + echo "INCLUDES clean: FALSE" + /bin/echo -e "WARNING: INCLUDES contains:\n\t'$INCLUDES'" +else + echo "INCLUDES clean: Ok" +fi if test -n "$CXXFLAGS" ; then echo "CXXFLAGS clean: FALSE" |