From 5171aee6a3b5b3af8f4f814ad720db3a37eef978 Mon Sep 17 00:00:00 2001
From: Ricardo Martins <rasm@lsts.pt>
Date: Fri, 7 Feb 2014 11:16:22 +0000
Subject: [PATCH] filesystem: backported dune upgrade fix.

---
 packages/filesystem/fs/etc/rc.d/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/filesystem/fs/etc/rc.d/dune b/packages/filesystem/fs/etc/rc.d/dune
index 8f26975..9443450 100644
--- a/packages/filesystem/fs/etc/rc.d/dune
+++ b/packages/filesystem/fs/etc/rc.d/dune
@@ -14,7 +14,7 @@ maybe_upgrade()
     rm -rf $dune_base/.dune-upgrade &&
     mkdir $dune_base/.dune-upgrade &&
     tar -x -C $dune_base/.dune-upgrade -f $dune_base/dune-*.tar.bz2 &&
-    cp "$dune_base/etc/"*-saved.ini "$dune_base/.dune-upgrade/"dune-*/etc 2> /dev/null &&
+    cp "$dune_base/etc/"*-saved.ini "$dune_base/.dune-upgrade/"dune-*/etc 2> /dev/null
     rm $dune_base/dune-*.tar.bz2 &&
     for dir in $dune_base/.dune-upgrade/dune-*/*; do
         d="$(basename "$dir")"