diff options
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/linux/buildtest.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/dist/linux/buildtest.sh b/dist/linux/buildtest.sh index 696aa93bc..31ae23a1b 100755 --- a/dist/linux/buildtest.sh +++ b/dist/linux/buildtest.sh @@ -50,9 +50,7 @@ if [ "$ISGPL" = "true" ]; then echo "travis_fold:start:gpl.src" printf "$ANSI_YELLOW[Source] create GPL sources $ANSI_NOCOLOR\n" files=`echo *` - sed -e 's/@abs_srcdir@/./g' < Makefile.in > Makefile.tmp - make -f Makefile.tmp clean-pure-gpl - rm -f Makefile.tmp + make -f Makefile.in srcdir=. clean-pure-gpl mkdir ${PKG_NAME} cp -pdrl $files ${PKG_NAME} tar -zcf "${PKG_NAME}.tar.gz" ${PKG_NAME} |