Module Name: src Committed By: rillig Date: Mon Dec 6 23:07:49 UTC 2021
Modified Files: src/external/lgpl3/gmp/lib/libgmp: Makefile Log Message: libgmp: fix unwarranted ignored error on 'make clean' rmdir: dummy: No such file or directory *** Error code 1 (ignored) To generate a diff of this commit: cvs rdiff -u -r1.30 -r1.31 src/external/lgpl3/gmp/lib/libgmp/Makefile Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.