Skip to content

I
iris-atomic
Commit 0a1c826e authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

awk.Makefile: uninstall .v and .glob files

parent 1761ad42
Pipeline #3667 passed with stage
    in 5 minutes and 11 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    awk.Makefile
    View file @ 0a1c826e
    ......@@ -13,7 +13,7 @@
    # Also see <https://coq.inria.fr/bugs/show_bug.cgi?id=4907>.
    /^uninstall:/ {
    print "uninstall:";
    print "\tif [ -d \"$(DSTROOT)\"$(COQLIBINSTALL)/"PROJECT"/ ]; then find \"$(DSTROOT)\"$(COQLIBINSTALL)/"PROJECT"/ \\( -name \"*.vo\" -o \\( -type d -empty \\) \\) -print -delete; fi";
    print "\tif [ -d \"$(DSTROOT)\"$(COQLIBINSTALL)/"PROJECT"/ ]; then find \"$(DSTROOT)\"$(COQLIBINSTALL)/"PROJECT"/ \\( -name \"*.vo\" -o -name \"*.v\" -o -name \"*.glob\" -o \\( -type d -empty \\) \\) -print -delete; fi";
    getline;
    next
    }
    ......
    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