diff options
Diffstat (limited to 'test/dist.sh')
| -rwxr-xr-x | test/dist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/dist.sh b/test/dist.sh index 823d16f9..738a7938 100755 --- a/test/dist.sh +++ b/test/dist.sh @@ -10,7 +10,7 @@ trap "rm -f $DIST" EXIT make dist WORKDIR=`mktemp -d /tmp/colm.XXXXXX` -#trap "rm -Rf $DIST $WORKDIR" EXIT +trap "rm -Rf $DIST $WORKDIR" EXIT tar -C $WORKDIR -xzvf $DIST cd $WORKDIR/${DIST%.tar.gz} |