aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2022-02-27 21:32:56 +0200
committerArnold D. Robbins <arnold@skeeve.com>2022-02-27 21:32:56 +0200
commitfb39babe890863fcdd6c290af8e19759387fe04b (patch)
treea5824219e9ec8390be3a6968373934b89a7adc21 /configure
parent6083e965fac1b272f9ccb491902b24a24ea14122 (diff)
downloadegawk-fb39babe890863fcdd6c290af8e19759387fe04b.tar.gz
egawk-fb39babe890863fcdd6c290af8e19759387fe04b.tar.bz2
egawk-fb39babe890863fcdd6c290af8e19759387fe04b.zip
Add gawkbug script and man page.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 4 insertions, 0 deletions
diff --git a/configure b/configure
index eeef58c6..648eabd0 100755
--- a/configure
+++ b/configure
@@ -13682,6 +13682,8 @@ esac
ac_config_files="$ac_config_files Makefile support/Makefile awklib/Makefile doc/Makefile extras/Makefile po/Makefile.in test/Makefile"
+ac_config_files="$ac_config_files gawkbug"
+
if test "$enable_extensions" = "yes"
then
@@ -14439,6 +14441,7 @@ do
"extras/Makefile") CONFIG_FILES="$CONFIG_FILES extras/Makefile" ;;
"po/Makefile.in") CONFIG_FILES="$CONFIG_FILES po/Makefile.in" ;;
"test/Makefile") CONFIG_FILES="$CONFIG_FILES test/Makefile" ;;
+ "gawkbug") CONFIG_FILES="$CONFIG_FILES gawkbug" ;;
*) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
esac
@@ -15241,6 +15244,7 @@ See \`config.log' for more details" "$LINENO" 5; }
;;
esac
done ;;
+ "gawkbug":F) chmod +x gawkbug ;;
esac
done # for ac_tag