Merge branch 'master' of ssh://git.onelab.eu/git/infrastructure

diff --git a/scripts/f14.sh b/scripts/f14.sh
new file mode 100644 (file)
index 0000000..ac6e7b8
--- /dev/null
+++ b/scripts/f14.sh
@@ -0,0 +1,2 @@
+/root/bin/vbuild-nightly.sh -m build@onelab.eu   -d f14 -f f14 -p linux64 -b @DATE@--f14-f14-64 -B
+/root/bin/vbuild-nightly.sh -m build@onelab.eu   -d f12 -f f14 -p linux64 -b @DATE@--f12-f14-64 -B

diff --git a/scripts/git-check.sh b/scripts/git-check.sh
index fe559c9..ca3e738 100755 (executable)
--- a/scripts/git-check.sh
+++ b/scripts/git-check.sh
@@ -74,6 +74,7 @@ function check_configs () {
        git=${b}.git
        echo -n "$git "
        cd $git 
+        git config core.bare true; echo -n "bare ";
        git config core.sharedrepository >& /dev/null || { git config core.sharedrepository true; echo -n "sharedrepository "; }
        git config daemon.uploadpack >& /dev/null || { git config daemon.uploadpack true; echo -n "uploadpack "; }
        git config daemon.uploadarch >& /dev/null || { git config daemon.uploadarch true; echo -n "uploadarch "; }