diff options
-rwxr-xr-x | bin/reproducible_create_meta_pkg_sets.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/reproducible_create_meta_pkg_sets.sh b/bin/reproducible_create_meta_pkg_sets.sh index 0f5c6478..f9ed0c91 100755 --- a/bin/reproducible_create_meta_pkg_sets.sh +++ b/bin/reproducible_create_meta_pkg_sets.sh @@ -63,7 +63,9 @@ update_if_similar() { diff $TARGET $TARGET.new || true echo echo "Warning: too much difference for $TARGET, aborting. Please investigate and update manually." - rm $TARGET.new + KEEP=$(mktemp) + mv $TARGET.new $KEEP + echo "The new pkg-set has been saved as $KEEP for further investigation." else update_target fi |