diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-12-10 12:41:21 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-12-10 12:41:21 +0100 |
| commit | a4fb9e1c52c9091c9a69a4f1091b06e0b21e188d (patch) | |
| tree | 2da7e30c143d6f44d618b0f9a2d84094f0c8fb03 /dist | |
| parent | 8059500c324d54656df81e5c16c5d44f1f6aca2f (diff) | |
| download | ghdl-a4fb9e1c52c9091c9a69a4f1091b06e0b21e188d.tar.gz ghdl-a4fb9e1c52c9091c9a69a4f1091b06e0b21e188d.tar.bz2 ghdl-a4fb9e1c52c9091c9a69a4f1091b06e0b21e188d.zip | |
Tentatively fix travis-ci gpl build failure.
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} |