diff options
Diffstat (limited to 'src')
-rwxr-xr-x | src/configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/configure b/src/configure index 6b77ae2..0d4434f 100755 --- a/src/configure +++ b/src/configure @@ -222,6 +222,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 |