From 9ee13ad5847bd17c2efeda963383857d71e55292 Mon Sep 17 00:00:00 2001
From: David van Moolenbroek <david@minix3.org>
Date: Tue, 20 Aug 2013 19:39:55 +0200
Subject: [PATCH] see if this passes jenkins now

Change-Id: I759a07daf105f21ea3ff6000980e6ea81b429338
---
 releasetools/release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/releasetools/release.sh b/releasetools/release.sh
index 628b57a20..2539ee3e4 100755
--- a/releasetools/release.sh
+++ b/releasetools/release.sh
@@ -337,7 +337,7 @@ mount $TMPDISKUSR $RELEASEMNTDIR/usr || exit
 echo " * Copying files from staging to image"
 ##########################################################################
 synctree -f $RELEASEDIR $RELEASEMNTDIR > /dev/null || true
-expr `df -kP $TMPDISKUSR | tail -1 | awk '{ print $3 }'` - $extrakb >$RELEASEMNTDIR/.usrkb
+expr `/bin/df -kP $TMPDISKUSR | tail -1 | awk '{ print $3 }'` - $extrakb >$RELEASEMNTDIR/.usrkb
 
 echo " * Unmounting $TMPDISKUSR from $RELEASEMNTDIR/usr"
 umount $TMPDISKUSR || exit