diff options
Diffstat (limited to 'Makefile.org')
-rw-r--r-- | Makefile.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.org b/Makefile.org index c05fa0587c..81d2a5eb9c 100644 --- a/Makefile.org +++ b/Makefile.org @@ -240,7 +240,7 @@ clean-shared: done; \ fi; \ ( set -x; rm -f lib$$i$(SHLIB_EXT) ); \ - if [ "$(PLATFORM)" = "CygWin32" ]; then \ + if [ "$(PLATFORM)" = "Cygwin" ]; then \ ( set -x; rm -f cyg$$i$(SHLIB_EXT) lib$$i$(SHLIB_EXT).a ); \ fi; \ done @@ -703,7 +703,7 @@ install: all install_docs do \ if [ -f "$$i" -o -f "$$i.a" ]; then \ ( echo installing $$i; \ - if [ "$(PLATFORM)" != "CygWin32" ]; then \ + if [ "$(PLATFORM)" != "Cygwin" ]; then \ cp $$i $(INSTALL_PREFIX)$(INSTALLTOP)/lib; \ chmod 644 $(INSTALL_PREFIX)$(INSTALLTOP)/lib/$$i; \ else \ |