From abcbb1fa220015fd7206deb89a595e4c45f226a9 Mon Sep 17 00:00:00 2001
From: Malin Freeborn <malinfreeborn@tutamail.com>
Date: Tue, 25 Feb 2020 11:40:10 +0100
Subject: [PATCH] add clean to autocompile
---
autocompile.sh | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/autocompile.sh b/autocompile.sh
index 5d609350..df25901f 100755
--- a/autocompile.sh
+++ b/autocompile.sh
@@ -1,5 +1,10 @@
#!/bin/bash
-if [ ! -z $1 ]; then
+if [ $1 = clean ]; then
+ rm *aux *log main.{i,g}* *toc
+ exit 0
+fi
+
+if [ $1 = conf ]; then
git subtree -P config pull ../config master && \
git subtree -P config push ../config core
fi
--
GitLab