diff options
| -rw-r--r-- | .Makefile.inc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.Makefile.inc b/.Makefile.inc index ed944d491..f5b2ec00f 100644 --- a/.Makefile.inc +++ b/.Makefile.inc @@ -195,5 +195,8 @@ modclean: squeakyclean: distclean -distclean: modclean clean +configureclean: + rm -f .config.cache + +distclean: modclean clean configureclean |