Merge github.com:SmileiPIC/Smilei

SmileiPIC · Apr 29, 2020 · 6558126 · 6558126
2 parents 18082d9 + a28ee8c
commit 6558126
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/makefile b/makefile
@@ -373,5 +373,4 @@ help:
 	@echo 'http://www.maisondelasimulation.fr/smilei'
 	@echo 'https://github.com/SmileiPIC/Smilei'
 	@echo
-	@if [ -f  scripts/compile_tools/machine/$(machine) ]; then echo "Machine comments for $(machine):"; grep '^#' scripts/compile_tools/machine/$(machine)|| echo "None"; fi
 	@if [ -f scripts/compile_tools/machine/$(machine) ]; then echo "Machine comments for $(machine):"; grep '^#' scripts/compile_tools/machine/$(machine) || echo "None"; else echo "Available machines:"; ls -1 scripts/compile_tools/machine; fi