Permalink
Browse files

[fix] build: Allows for correct compilation even if no GIT repository…

… is configures.
  • Loading branch information...
1 parent 5878f87 commit 0b2b4abe069605a14d8d5a7afdb12f39ff29428b @shadinger shadinger committed with BourgerieQuentin Nov 10, 2011
Showing with 3 additions and 0 deletions.
  1. +3 −0 buildinfos/generate_buildinfos.sh
@@ -123,6 +123,9 @@ for repo in $REPOS ; do
if [ "$MLSTATE_DIFFING" = 1 ] ; then
echo "let ${repo}_git_version = 0"
echo "let ${repo}_git_sha = \"diffing\""
+ elif ! is_git_root $repo; then
+ echo "let ${repo}_git_version = 0"
+ echo "let ${repo}_git_sha = \"\""
else
if [ "$repo" = "$ROOT_REPO" ] ; then
echo "let ${repo}_git_version = $(in_repo $repo git_opalang_version_cmd)"

0 comments on commit 0b2b4ab

Please sign in to comment.