improve the script to print installed files

coq · Dec 14, 2020 · b1caa09 · b1caa09
1 parent 79164cf
commit b1caa09
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/opam-coq-install-remove b/scripts/opam-coq-install-remove
@@ -78,6 +78,8 @@ while [ ! -z "$1" ]; do
               RC=1;
               FAILURES="$FAILURES $PKG_NAME_VERSION";
             else
+              echo Installed files:
+              opam show "$PKG_NAME_VERSION" --list-files
               SUCCESSES="$SUCCESSES $PKG_NAME_VERSION";
             fi
             echo Removing $PKG_NAME