Merge branch 'master' of smilei-github into develop

SmileiPIC · May 11, 2020 · 3a7ca3b · 3a7ca3b
2 parents 714dad3 + 6558126
commit 3a7ca3b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/makefile b/makefile
@@ -377,5 +377,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