diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-20 14:41:23 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-20 14:41:23 +0100 |
commit | 2fae9af8e549dbe9269ae4bde1b2269c99c17a35 (patch) | |
tree | 1814ba84007281beffd60d7fa2da311005f83a99 /src/core/procedures | |
parent | f9568a5c862de5b313b44725752d62db72d25e61 (diff) |
syntax fix
Diffstat (limited to 'src/core/procedures')
-rw-r--r-- | src/core/procedures/automatic | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/procedures/automatic b/src/core/procedures/automatic index 7e852b9..a776004 100644 --- a/src/core/procedures/automatic +++ b/src/core/procedures/automatic @@ -16,7 +16,7 @@ phase_preparation+=(msg_automatic) # this can happen probably a bit earlier.. process_args () { - [ "$1" = '-c' ] + if [ "$1" = '-c' ] then [ -z "$2" ] && die_error "You must specify a config" source $2 || die_error "Could not source config $2" |