[mod] tools:build
Christian Fraß commited on 2021-11-19 13:03:36
Zeige 1 geänderte Dateien mit 1 Einfügungen und 1 Löschungen.
- tools/build 0bd12c3..3e119f6
| ... | ... |
@@ -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
|
| 26 | 26 |