git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e6f0d23)
scripts maintained in two separate places for now
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Sun, 9 Dec 2007 10:23:11 +0000 (10:23 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Sun, 9 Dec 2007 10:23:11 +0000 (10:23 +0000)
scripts/post-commit patch | blob | history

diff --git a/scripts/post-commit b/scripts/post-commit
index 7c45218..e8dce16 100755 (executable)
--- a/scripts/post-commit
+++ b/scripts/post-commit
@@ -70,4 +70,6 @@ $script --from "$FROM" -s "$SUBJECT" --size-limit 102400 "$REPOS" "$REV" "$MAILD
 
 #log-commit.py --repository "$REPOS" --revision "$REV"
 
-sudo -u build /plc/devel/data/root/bin/auto-update.sh
+# as plc-devel is being dismantled, keep these two separate
+/root/bin/auto-update.sh
+[ -d /plc/devel/data/root/bin ] && sudo -u build /plc/devel/data/root/bin/auto-update.sh
infrastructure