diff options
author | 2010-10-25 03:42:41 +0200 | |
---|---|---|
committer | 2010-10-25 03:42:41 +0200 | |
commit | 6d06e0c0fcacb82abeb211c4cabce7ac86fbde53 (patch) | |
tree | 22cf723ca6b22263268f34e906c0e5292c087cce | |
parent | Fetch _all_ distfiles, so that we know if the mirrors are missing (diff) | |
download | flameeyes-tinderbox-6d06e0c0fcacb82abeb211c4cabce7ac86fbde53.tar.gz flameeyes-tinderbox-6d06e0c0fcacb82abeb211c4cabce7ac86fbde53.tar.bz2 flameeyes-tinderbox-6d06e0c0fcacb82abeb211c4cabce7ac86fbde53.zip |
If there is not a previous configuration file for the kernel, skip over it.
-rwxr-xr-x | tinderbox-restart.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tinderbox-restart.sh b/tinderbox-restart.sh index b44df3d..f9d37d0 100755 --- a/tinderbox-restart.sh +++ b/tinderbox-restart.sh @@ -83,13 +83,13 @@ fi reset_emergelog -cp /usr/src/linux/.config /usr/src/config +[[ -f /usr/src/linux/.config ]] && cp /usr/src/linux/.config /usr/src/config if emerge -u1 sys-kernel/gentoo-sources && fgrep -q '>>> emerge' /var/log/emerge.log; then dent_me "new #gentoo-sources, making oldconfig" - cp /usr/src/config /usr/src/linux/.config + [[ -f /usr/src/config ]] && cp /usr/src/config /usr/src/linux/.config pushd /usr/src/linux make -j14 oldconfig && \ |