Skip to content

Instantly share code, notes, and snippets.

@jbedo
Created January 30, 2019 21:50
Show Gist options
  • Save jbedo/4ebdab37e850250677aa8e16e8de724a to your computer and use it in GitHub Desktop.
Save jbedo/4ebdab37e850250677aa8e16e8de724a to your computer and use it in GitHub Desktop.
diff --git a/src/Makevars b/src/Makevars
index 076a2eb..897c911 100644
--- a/src/Makevars
+++ b/src/Makevars
@@ -2,7 +2,7 @@ CXX_STD = CXX11
PKG_LIBS = $(LAPACK_LIBS) $(BLAS_LIBS) $(FLIBS)
strip: $(SHLIB)
- if test -e "/usr/bin/strip" & test -e "/bin/uname" & [[ `uname` == "Linux" ]] ; then /usr/bin/strip --strip-debug *.o *.so; fi
- if test -e "/usr/bin/strip" & test -e "/usr/bin/uname" & [[ `uname` == "Darwin" ]] ; then /usr/bin/strip -S *.o *.so; fi
+ if test -e "/usr/bin/strip" && test -e "/bin/uname" && [[ `uname` == "Linux" ]] ; then /usr/bin/strip --strip-debug *.o *.so; fi
+ if test -e "/usr/bin/strip" && test -e "/usr/bin/uname" && [[ `uname` == "Darwin" ]] ; then /usr/bin/strip -S *.o *.so; fi
.phony: strip
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment