projects
/
feisty_meow.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
took cloud out of note snarfer
[feisty_meow.git]
/
scripts
/
clam
/
cpp
/
postconditions.sh
diff --git
a/scripts/clam/cpp/postconditions.sh
b/scripts/clam/cpp/postconditions.sh
index 1c1490bf82e6e544903d409f52277444c20024ad..174529a2576697f294bf7edd48daa7c06e94b47a 100755
(executable)
--- a/
scripts/clam/cpp/postconditions.sh
+++ b/
scripts/clam/cpp/postconditions.sh
@@
-10,7
+10,7
@@
fi
if [ -f $FAILURE_FILE ]; then
echo Postconditions will not promote due to a failure:
cat $FAILURE_FILE
if [ -f $FAILURE_FILE ]; then
echo Postconditions will not promote due to a failure:
cat $FAILURE_FILE
- . $CLAM_
DIR
/exit_make.sh
+ . $CLAM_
SCRIPTS
/exit_make.sh
fi
# make sure that we actually did something during the make.
fi
# make sure that we actually did something during the make.
@@
-23,9
+23,9
@@
fi
for i in *.resources; do rm -f "$i"; done
# causes the shell to quit.
for i in *.resources; do rm -f "$i"; done
# causes the shell to quit.
-DIE="source $CLAM_
DIR
/exit_make.sh"
+DIE="source $CLAM_
SCRIPTS
/exit_make.sh"
-if [ ! -d $TARGETS_
DIR ]; then mkdir -p $TARGETS_DIR
; fi
+if [ ! -d $TARGETS_
STORE ]; then mkdir -p $TARGETS_STORE
; fi
if [ "$TYPE" = "library" ]; then
if [ "$TYPE" = "library" ]; then
@@
-61,6
+61,6
@@
elif [ "$TYPE" = "hierarchy" ]; then
else
echo "Unknown type for project [$TYPE]; cancelling postconditions!"
else
echo "Unknown type for project [$TYPE]; cancelling postconditions!"
- source $CLAM_
DIR
/exit_make.sh
+ source $CLAM_
SCRIPTS
/exit_make.sh
fi
fi