Merge branch 'master' of opencircuitdesign.com:/home/tim/gitsrc/open_pdks/
Doing pull request #21.
diff --git a/sky130/Makefile.in b/sky130/Makefile.in
index 8485deb..cc337dd 100644
--- a/sky130/Makefile.in
+++ b/sky130/Makefile.in
@@ -428,10 +428,10 @@
# "FIXED_BBOX 0 407 15000 40000"
install:
- if test "x${DIST_PATH}" == "x" ; then
- ${MAKE} install-local
- else
- ${MAKE} install-dist
+ if test "x${DIST_PATH}" == "x" ; then \
+ ${MAKE} install-local ; \
+ else \
+ ${MAKE} install-dist; \
fi
install-local: install-local-a