index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | makechrootpkg | 4 |
diff --git a/makechrootpkg b/makechrootpkg index 4c26673..1434d2d 100755 --- a/makechrootpkg +++ b/makechrootpkg @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation; version 2 of the License. @@ -76,7 +76,7 @@ fi [ -d "$chrootdir/rw" ] || mkdir "$chrootdir/rw" [ -d "$chrootdir/union" ] || mkdir "$chrootdir/union" -function cleanup () +cleanup () { echo "cleaning up unioned mounts" umount "$chrootdir/union" |