diff options
author | Andrew Dolgov <[email protected]> | 2020-12-11 09:48:34 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2020-12-11 09:48:34 +0300 |
commit | 65254f5db47ce3fb8ce1bf9c4bbda2cd6f977cf8 (patch) | |
tree | 5f5fcb685db155a2e47740a205dd27516b55e8f8 /utils | |
parent | 43bd3394c31ed67cafddd2c147144bdb67f32477 (diff) |
- move sphinx plugin to a separate repo
- regenerate config checks without sphinx-related variables
Diffstat (limited to 'utils')
-rwxr-xr-x | utils/regen_config_checks.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/regen_config_checks.sh b/utils/regen_config_checks.sh index 5ddbef091..e8b1ed830 100755 --- a/utils/regen_config_checks.sh +++ b/utils/regen_config_checks.sh @@ -5,7 +5,7 @@ DESTINATION="include/sanity_config.php" echo "<?php # This file has been generated at: " `date` > $DESTINATION echo -n "define('GENERATED_CONFIG_CHECK', " >> $DESTINATION -grep CONFIG_VERSION config.php-dist | awk -F ' |)' '{ print $2 }' | xargs echo -n >> $DESTINATION +grep CONFIG_VERSION config.php-dist | awk -F ' |\)' '{ print $2 }' | xargs echo -n >> $DESTINATION echo ");" >> $DESTINATION echo -n "\$required_defines = array( " >> $DESTINATION |