diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-01 23:06:25 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-01 23:06:25 +0100 |
| commit | b22c101c94622577fba858cb4e1baae6a3b6fdd6 (patch) | |
| tree | 6054591292f0b9814c7364cad222fd3d5ccce67a /src/fifa.sh | |
| parent | 43689224c1db3a4a23440d364fb4be557590b75e (diff) | |
refactoring in interactive profile, some stuff related to phases/workers, and some todo updates
Diffstat (limited to 'src/fifa.sh')
| -rwxr-xr-x | src/fifa.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/fifa.sh b/src/fifa.sh index 09d6d1e..53ad10b 100755 --- a/src/fifa.sh +++ b/src/fifa.sh @@ -147,3 +147,5 @@ PACMAN=pacman PACMAN_TARGET="pacman --root $var_TARGET_DIR --config /tmp/pacman.conf" start_process + +exit 0
\ No newline at end of file |