throw an error if methods.py fails

diff --git a/php/Makefile b/php/Makefile
index 660b536..5498951 100644 (file)
--- a/php/Makefile
+++ b/php/Makefile
@@ -4,18 +4,20 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: Makefile,v 1.1 2006/10/25 20:32:44 mlhuang Exp $
+# $Id: Makefile,v 1.2 2006/10/27 15:40:37 mlhuang Exp $
 #
 
 all: plc_api.php
 
 methods.php: methods.py ../PLC/__init__.py ../PLC/Methods/__init__.py
-       PYTHONPATH=.. python $< | \
-       sed -e "s/^/  /" > $@
+       PYTHONPATH=.. python $< > $@
+        # Indent all lines by a couple of spaces
+       sed -i -e "s/^/  /" $@
 
 plc_api.php: header.php methods.php footer.php
-       sed -e "s/@DATE@/$$(date)/" header.php | \
-       cat - methods.php footer.php > $@
+        # Set timestamp
+       sed -e "s/@DATE@/$$(date)/" header.php > $@
+       cat methods.php footer.php >> $@
 
 clean:
        rm -f plc_api.php methods.php