empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix nightly's check for existing sandbox

Browse source 
Broken in commit 70c03561, v4.3.12.
This commit is contained in:
Markus Armbruster 2011-01-15 13:47:16 +01:00
parent c77db95fad
commit c7d9d4fcf4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/scripts/nightly/nightlybuild.sh
View file

@ -95,7 +95,7 @@ in
# Make sandbox # Make sandbox
if [ -d "${WORKDIR}" ] if [ -d "${WORKDIR}" ]
then then
! [ -d "${WORKDIR}"/empserver/.git ] || err "Invalid sandbox, missing .git directory" [ -d "${WORKDIR}"/empserver/.git ] || err "Invalid sandbox, missing .git directory"
else else
echo making directory echo making directory
mkdir "${WORKDIR}" || warn "Could not create ${BOXDIR}/${WORKDIR}" mkdir "${WORKDIR}" || warn "Could not create ${BOXDIR}/${WORKDIR}"