Compare commits

..

No commits in common. "4921cb9f06e3ded6d1d7877ce6884121ddb67937" and "0cbd5f523f76e9ac5f02a3b7b1327e0542e59224" have entirely different histories.

View File

@ -71,18 +71,6 @@ while test $# -gt 0; do
shift shift
done done
if [ -z "$WORKING_DIRECTORY" ]; then
echo "WORKING_DIRECTORY empty. exiting..."
exit 1
fi
if [ ! -d "$WORKING_DIRECTORY" ]; then
echo "WORKING_DIRECTORY $WORKING_DIRECTORY does not exist! exiting..."
exit 1
fi
cd "$WORKING_DIRECTORY"
source ./update_psa_impl source ./update_psa_impl
if read_config; then if read_config; then