Browse code

[mod] tools:build

Christian Fraß authored on19/11/2021 13:03:05
Showing1 changed files
... ...
@@ -18,8 +18,8 @@ make -f tools/makefile
18 18
 
19 19
 if $(test ${profile} = '-')
20 20
 then
21
-	# do nothing
22 21
 	echo ">> no profile given; not placing configuration file"
22
+	# do nothing
23 23
 else
24 24
 	echo ">> placing configuration for profile '${profile}' …"
25 25
 	cp -ru ${dir_conf}/${profile}.json ${dir_build}/conf.json