summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsrc/configure3
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