projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2a9ba3d)
Another build fix.
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 7 Aug 2014 16:53:14 +0000 (12:53 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 7 Aug 2014 16:53:20 +0000 (12:53 -0400)
Makefile.builds.in patch | blob | history

diff --git a/Makefile.builds.in b/Makefile.builds.in
index ee0bd7f98370bd49e7eb5c7ef68fa7de506da562..c818c05c61b51eeeebf1078d1dcd5f9d45023223 100644 (file)
--- a/Makefile.builds.in
+++ b/Makefile.builds.in
@@ -87,8 +87,8 @@ ifeq ($(CVC4_BUILD_LIBCOMPAT),yes)
                .
 endif
 #      symlink the binaries
+       cd $(CURRENT_BUILD)/bin && \
        for binary in $(CVC4_BINARIES); do \
-               cd $(CURRENT_BUILD)/bin && \
                ln -sf ../src/main/$$binary \
                        . ; \
        done