diff options
| -rw-r--r-- | Makefile.builds.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index ee0bd7f98..c818c05c6 100644 --- 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 |