diff options
| author | Rob Austein <sra@hactrn.net> | 2015-07-07 12:56:52 -0400 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2015-07-07 12:56:52 -0400 |
| commit | ac961eac3ceb9055d3b75e17dfb44d72f1183b03 (patch) | |
| tree | 942bef50dbe9bf6bc3e45bf1bbd9d06fb53236f5 | |
| parent | eb05d765f4142aee3e17957daa35d9bd1cc2a1c0 (diff) | |
"git submodule deinit" whines unless given an argument.
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index c2f02dd..b6bc9a4 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -22,7 +22,7 @@ clean: cd ${REPO}; git clean -dxf distclean: clean - git submodule deinit + git submodule deinit ${REPO} rm -f TAGS ${HDR}: |