diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-12-17T09·28+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-12-17T09·28+0000 |
commit | eac93d6efeba68d9da95f01e10cd859eef6d85dd (patch) | |
tree | c981d1ec7cc5e2155c3a2fb54b70d3e801577d2a | |
parent | a0be433fec792216ac5d9af68ec1fea6c21c7c1d (diff) |
* Use the right `make'.
-rw-r--r-- | externals/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index 563f5424df10..a5d67a91a0e4 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -52,7 +52,7 @@ build-sqlite: $(SQLITE) touch build-sqlite install-exec-local:: build-sqlite - cd $(SQLITE) && make install + cd $(SQLITE) && $(MAKE) install rm -rf "$(DESTDIR)/$(pkglibdir)/dummy" endif |