Index: build/linux/python_arch.sh |
diff --git a/build/linux/python_arch.sh b/build/linux/python_arch.sh |
index 3a41f94a980f16675a57baf6422a71fa4fd0f673..d043616a808f27509e4c23ba168c2633f066aca3 100755 |
--- a/build/linux/python_arch.sh |
+++ b/build/linux/python_arch.sh |
@@ -11,7 +11,7 @@ |
# |
file_out=$(file --dereference "$1") |
-if [ $? -ne 0 ]; then |
+if [ $? -ne 0 ] || [ ! -e "$1" ] ; then |
Mark Mentovai
2014/01/13 22:39:24
A short form of your checkin comment would do a wh
vapier
2014/01/13 22:45:19
done
|
echo unknown |
exit 0 |
fi |