Commit d0aab6fa authored by MARCHE Claude's avatar MARCHE Claude

fix missing quotes

parent 05e1c2b4
......@@ -1101,7 +1101,7 @@ install_no_local::
cp -r lib/isabelle $(LIBDIR)/why3
cp drivers/isabelle-realizations.aux $(DATADIR)/why3/drivers/
@(d=`isabelle components -l | grep why3`; \
if test $$d != $(LIBDIR)/why3/isabelle; then \
if test "$$d" != $(LIBDIR)/why3/isabelle; then \
echo "[Warning] Cannot pre-build the Isabelle heap because the"; \
echo " current Why3 path in Isabelle component configuration [$$d]"; \
echo " is not the same as the current install dir [$(LIBDIR)/why3/isabelle]"; \
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment