diff options
author | Andrew Dolgov <[email protected]> | 2021-02-23 08:34:37 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2021-02-23 08:34:37 +0300 |
commit | 5229cc58b269bd04b2be7768107697063d95736e (patch) | |
tree | 6520dfaf81ec8eb818c4b66f3f348024466c6e00 /utils/regen_config_checks.sh | |
parent | 4ed91619ddefcaa2bf758361aaccf0844465228b (diff) | |
parent | cae54dad564bc1372f0f6cc11101b6377caef9a9 (diff) |
Merge branch 'wip-config-object'
Diffstat (limited to 'utils/regen_config_checks.sh')
-rwxr-xr-x | utils/regen_config_checks.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/utils/regen_config_checks.sh b/utils/regen_config_checks.sh deleted file mode 100755 index b20ce0480..000000000 --- a/utils/regen_config_checks.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -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 -echo ");" >> $DESTINATION - -echo -n "function get_required_defines() { return [ " >> $DESTINATION - -grep define\( config.php-dist | awk -F\' '{ print "*" $2 "*," }' | grep -v DB_PORT | xargs echo -n | sed -e s/,$// -e s/*/\'/g >> $DESTINATION - -echo "]; }" >> $DESTINATION - - |