Fix dev install (#2369)

huggingface · Nov 19, 2024 · 066fc37 · 066fc37
1 parent b80c1a6
commit 066fc37
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -7,7 +7,8 @@ COMMAND_FILES_PATH = `pwd`/commands
 
 
 dev:
-	[ -L "$(pwd)/trl/commands/scripts" ] && unlink "$(pwd)/trl/commands/scripts" || true
+	@if [ -L "$(pwd)/trl/commands/scripts" ]; then unlink "$(pwd)/trl/commands/scripts"; fi
+	@if [ -e "$(pwd)/trl/commands/scripts" ] && [ ! -L "$(pwd)/trl/commands/scripts" ]; then rm -rf "$(pwd)/trl/commands/scripts"; fi
 	pip install -e ".[dev]"
 	ln -s `pwd`/examples/scripts/ `pwd`/trl/commands