From 75c14a78b2ed0528ece840b88993cf929c2a602f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas.schaertl@fau.de>
Date: Tue, 28 Apr 2020 19:22:21 +0200
Subject: [PATCH] add reset-libraries.sh
---
ulo/reset-libraries.sh | 20 ++++++++++++++++++++
1 file changed, 20 insertions(+)
create mode 100755 ulo/reset-libraries.sh
diff --git a/ulo/reset-libraries.sh b/ulo/reset-libraries.sh
new file mode 100755
index 0000000..6f5182d
--- /dev/null
+++ b/ulo/reset-libraries.sh
@@ -0,0 +1,20 @@
+#! /bin/sh
+
+# reset git submodules in this directory
+
+set -eu
+
+reset_repo() {
+ (
+ cd "$1"
+ git reset --hard
+ git clean -f
+ )
+}
+
+base=$(dirname "$0")
+
+reset_repo "$base"/libraries/coq
+reset_repo "$base"/libraries/isabelle-distribution
+reset_repo "$base"/libraries/isabelle-afp
+
--
GitLab