From e3323b2c0546d6d83ad0f213b2c229c022dff45b Mon Sep 17 00:00:00 2001 From: dzaima Date: Thu, 17 Nov 2022 23:46:46 +0200 Subject: [PATCH] don't .gitignore old local Singeli directory; update clean-submodules given the trailing slash, it was broken if it was a symlink anyway --- .gitignore | 1 - makefile | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 01500327..6192742b 100644 --- a/.gitignore +++ b/.gitignore @@ -33,7 +33,6 @@ compile_commands.json /.cache/ # things not used anymore, but still may be present in existing clones -/Singeli/ /SingeliClone/ /obj/ /src/gen/ \ No newline at end of file diff --git a/makefile b/makefile index 436ffe9c..504bfd68 100644 --- a/makefile +++ b/makefile @@ -325,7 +325,7 @@ clean-specific: rm -f $(bd)/BQN rmdir $(bd); true clean-submodules: - git submodule deinit build/singeliSubmodule/ build/replxxSubmodule/ + git submodule deinit build/singeliSubmodule/ build/replxxSubmodule/ build/bytecodeSubmodule/ clean: clean-build clean-singeli