Skip to content

GitLab

Commit b42ae7ca authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

update Makefile

parent 6c75cb56
Pipeline #15057 passed with stage
    in 9 minutes and 11 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    Makefile
    View file @ b42ae7ca
    ......@@ -8,7 +8,7 @@ all: Makefile.coq
    clean: Makefile.coq
    +@make -f Makefile.coq clean
    find theories $$(test -d tests && echo tests) \( -name "*.d" -o -name "*.vo" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete
    find theories tests \( -name "*.d" -o -name "*.vo" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete || true
    rm -f Makefile.coq
    .PHONY: clean
    ......
    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