Commit ac2d5cce authored by Ralf Jung's avatar Ralf Jung
Browse files

fix awk.Makefile

parent cb52071b
Pipeline #3661 passed with stage
in 5 minutes and 8 seconds
......@@ -13,7 +13,7 @@
# Also see <>.
/^uninstall:/ {
print "uninstall:";
print "\tif [ -d \"$$(DSTROOT)\"$$(COQLIBINSTALL)/"PROJECT"/ ]; then find \"$$(DSTROOT)\"$$(COQLIBINSTALL)/"PROJECT"/ -name \"*.vo\" -print -delete; fi";
print "\tif [ -d \"$(DSTROOT)\"$(COQLIBINSTALL)/"PROJECT"/ ]; then find \"$(DSTROOT)\"$(COQLIBINSTALL)/"PROJECT"/ -name \"*.vo\" -print -delete; fi";
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