diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/dev/genfiles | 13 | ||||
-rwxr-xr-x | scripts/dev/makedist | 1 |
2 files changed, 0 insertions, 14 deletions
diff --git a/scripts/dev/genfiles b/scripts/dev/genfiles index 6384225749..4e3a6d62e0 100755 --- a/scripts/dev/genfiles +++ b/scripts/dev/genfiles @@ -84,18 +84,5 @@ make RE2C="$RE2C" RE2C_FLAGS="$RE2C_FLAGS" srcdir=ext/phar builddir=ext/phar top -f ext/phar/Makefile.frag \ ext/phar/phar_path_check.c -# Clean debug #line XY info from the bundled lexer files. -cleanup_files=" \ - ext/date/lib/parse_date.c \ - ext/date/lib/parse_iso_intervals.c \ -" - -for f in $cleanup_files; do - echo "Cleaning file $f" - cp $f $f.orig - grep -v '^#line ' $f.orig > $f - rm -f $f.orig -done - # Return to the original directory. cd $original_path diff --git a/scripts/dev/makedist b/scripts/dev/makedist index 84c2facba8..e19df2a0de 100755 --- a/scripts/dev/makedist +++ b/scripts/dev/makedist @@ -104,7 +104,6 @@ for i in $LT_TARGETS; do done # removing junk files -find . -name \*.orig -print0 | xargs -0 rm rm -fr autom4te.cache/ # touching everything to be packaged |