fuel/build/fuel-main_2.patch

   1 *** fuel-main/sandbox.mk.orig   2015-02-13 12:12:55.362989171 +0100
   2 --- fuel-main/sandbox.mk        2015-02-13 14:50:39.103017653 +0100
   3 ***************
   4 *** 71,77 ****
   5 --- 71,83 ----
   6   echo "Updating apt package database"
   7   sudo chroot $(SANDBOX_UBUNTU) apt-get update
   8   echo "Installing additional packages: $(SANDBOX_DEB_PKGS)"
   9 + test -e $(SANDBOX_UBUNTU)/sbin/start.orig || mv $(SANDBOX_UBUNTU)/sbin/start $(SANDBOX_UBUNTU)/sbin/start.orig
  10 + echo "#!/bin/sh" > $(SANDBOX_UBUNTU)/sbin/start
  11 + echo "exit 0" >> $(SANDBOX_UBUNTU)/sbin/start
  12 + chmod 755 $(SANDBOX_UBUNTU)/sbin/start
  13   test -n "$(SANDBOX_DEB_PKGS)" && sudo chroot $(SANDBOX_UBUNTU) apt-get install --yes $(SANDBOX_DEB_PKGS)
  14 + test -e $(SANDBOX_UBUNTU)/sbin/start.orig && (cp $(SANDBOX_UBUNTU)/sbin/start.orig $(SANDBOX_UBUNTU)/sbin/start; \
  15 +       rm $(SANDBOX_UBUNTU)/sbin/start.orig)
  16   echo "SANDBOX_UBUNTU_UP: done"
  17   endef
  18