Index: examples/passphrase_tests/.runall
===================================================================
--- examples/passphrase_tests/.runall	(revision ba6027a0fac78c4a2e819aabd3ccc80779620acc)
+++ 	(revision )
@@ -1,54 +1,0 @@
-#!/bin/sh 
-
-# format,
-#   runall clean
-#   runall setup
-#   runall run
-
-progname=$(basename $0)
-pwd=`pwd`
-
-if [ $# -eq 0 ]; then
-    echo "Usage: $progname (clean|setup|run)" >&2;
-    exit 1
-fi
-
-ABAC_PROVER_PATH=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
-export ABAC_PROVER_PATH
-
-if [ "$1" = "clean" ]; then
-    rm -rf allout.tmp 
-    rm -rf ENC_PRIVATE.PEM PFILE
-    for i in `ls -1 `; do
-        if [ -d $i ]; then
-            printf "\n ==> CLEANING on %s\n" "$i" >& 2 ;
-            cd $i
-            rm -rf */*.der */*.pem */pfile */*.tmp
-            rm -rf */*.cn */*.sha */*.log */creds_dump
-            rm -rf *.der *.pem pfile *.tmp
-            cd $pwd
-        fi
-    done
-elif [ "$1" = "setup" ]; then
-    echo "dumdum" > PFILE
-    echo ">>>>  generate a encrypted private key ..."
-    echo "passphrase is ==> dumdum"
-    openssl genrsa -des3 -out ENC_PRIVATE.PEM -passout file:PFILE
-    for i in `ls -1 `; do
-        if [ -d $i ]; then
-            printf "\n ==> SETUP on %s\n" "$i"  >& 2;
-            cd $i
-            ./setup
-            cd $pwd
-        fi
-    done
-elif [ "$1" = "run" ] ; then
-    for i in `ls -1 `; do
-        if [ -d $i ]; then
-            printf "\n ==> RUN on %s\n" "$i" ;
-            cd $i
-            ./run_test
-            cd $pwd
-        fi
-    done
-fi 
Index: examples/passphrase_tests/Makefile
===================================================================
--- examples/passphrase_tests/Makefile	(revision f3421a0173708466c5afae002a498e57e6dff1ff)
+++ examples/passphrase_tests/Makefile	(revision f3421a0173708466c5afae002a498e57e6dff1ff)
@@ -0,0 +1,46 @@
+
+DIRECTORY=creddy creddy_prover python
+
+.PHONY : setup runcheck clean 
+runcheck: $(DIRECTORY)
+
+clean:
+	@for i in $(DIRECTORY); do \
+	here=`pwd`; \
+	cd $$i; \
+	printf "\n ==> CLEANING on %s\n" "$$i"; \
+	rm -rf */*.der */*.pem */pfile */*.tmp; \
+	rm -rf */*.cn */*.sha */*.log */creds_dump; \
+	rm -rf *.der *.pem pfile *.tmp; \
+	cd $$here; \
+	done 
+	@rm -rf allout.tmp
+	@rm -rf ENC_PRIVATE.PEM PFILE
+
+
+setup: 
+	@echo "dumdum" > PFILE
+	@openssl genrsa -des3 -out ENC_PRIVATE.PEM -passout file:PFILE 1>/dev/null 2>&1
+	@for i in $(DIRECTORY); do \
+	here=`pwd`; \
+	cd $$i; \
+	./setup 1 >/dev/null 2>&1; \
+	cd $$here; \
+	done
+
+
+runcheck:
+	@echo 'running libabac PASSPHRASE testing...'
+	@make setup
+	@for i in $(DIRECTORY); do \
+	here=`pwd`; \
+	cd $$i; \
+	printf "\n ==> RUN on %s\n" "$$i" >> ../allout.tmp ; \
+	./run_test 1 >> ../allout.tmp 2>/dev/null; \
+	cd $$here; \
+	done 
+	@if test `diff -q allout.save allout.tmp |wc -l ` -eq 0 ; \
+	then echo "   PASSED"; \
+	else echo "   ERROR:got changes!!!"; \
+	fi
+
Index: examples/passphrase_tests/creddy_prover/acme_rockets_rt0/run_query
===================================================================
--- examples/passphrase_tests/creddy_prover/acme_rockets_rt0/run_query	(revision ba6027a0fac78c4a2e819aabd3ccc80779620acc)
+++ examples/passphrase_tests/creddy_prover/acme_rockets_rt0/run_query	(revision f3421a0173708466c5afae002a498e57e6dff1ff)
@@ -3,6 +3,9 @@
 
 pwd=`pwd`
-
-eloc=${ABAC_PROVER_PATH}
+eloc=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
+if [ "$eloc" = "" ]; then
+  echo "ERROR: abac_prover_yap is not in the search path!!!"
+  exit 1
+fi
 keyloc=$pwd
 
Index: examples/passphrase_tests/runcheck
===================================================================
--- examples/passphrase_tests/runcheck	(revision ba6027a0fac78c4a2e819aabd3ccc80779620acc)
+++ 	(revision )
@@ -1,20 +1,0 @@
-#!/bin/sh 
-
-rm -rf allout.tmp
-
-./.runall clean 1 >/dev/null 2>&1
-./.runall setup 1 >/dev/null 2>&1
-
-ABAC_PROVER_PATH=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
-export ABAC_PROVER_PATH
-
-echo '\n'
-echo 'running libabac PASSPHRASE testing...'
-./.runall run 1> allout.tmp 2>/dev/null
-result=`diff allout.tmp allout.save`
-
-if [ "$result" = "" ]; then
-   echo "   PASSED"
-else
-   echo "   ERROR:got changes!!!"
-fi
