diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_create_meta_pkg_sets.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_create_meta_pkg_sets.sh b/bin/reproducible_create_meta_pkg_sets.sh index eb06306c..5eacb91e 100755 --- a/bin/reproducible_create_meta_pkg_sets.sh +++ b/bin/reproducible_create_meta_pkg_sets.sh @@ -80,7 +80,7 @@ update_if_similar() { get_installable_set() { set +e - schroot --directory /tmp -c source:jenkins-dpkg-jessie -- dose-deb-coinstall --deb-native-arch=$ARCH --bg=$PACKAGES --fg=${TMPFILE2} > $TMPFILE + dose-deb-coinstall --deb-native-arch=$ARCH --bg=$PACKAGES --fg=${TMPFILE2} > $TMPFILE RESULT=$? if [ $RESULT -ne 0 ] ; then rm $TMPFILE |