diff options
-rwxr-xr-x | src/configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/configure b/src/configure index 63d97d2..0f3750c 100755 --- a/src/configure +++ b/src/configure @@ -225,6 +225,9 @@ EOF if [ $INSTALLEXAMPLES -eq 1 ]; then echo "EXAMPLESDIR := $EXAMPLESDIR" >> include.mk + echo "installing example files" +else + echo "not installing example files" fi exit 0 |