From 8cfd3763fdda694aa9e7b7a0a4da5540602ba710 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 3 Oct 2012 10:53:17 +0200
Subject: [PATCH] utility for devels to refresh sliver-ovs from sliver-ovs.in

---
 planetlab/scripts/refresh | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 planetlab/scripts/refresh

diff --git a/planetlab/scripts/refresh b/planetlab/scripts/refresh
new file mode 100755
index 000000000..92b1d5fd3
--- /dev/null
+++ b/planetlab/scripts/refresh
@@ -0,0 +1,13 @@
+#!/bin/bash
+#
+# this script is not used by the build but can be convenient 
+# in a devel environment to ship an experimental sliver-ovs 
+# into running slices (using e.g. make update)
+DIRNAME=$(dirname $0)
+cd $DIRNAME
+echo Refreshing sliver-ovs from sliver-ovs.in in $(pwd)
+sed -e s,@RUNDIR@,/var/run/openvswitch,g \
+    -e s,@DBDIR@,/etc/openvswitch,g \
+    -e s,@pkgdatadir@,/usr/share/openvswitch,g \
+    -e s,@LOGDIR@,/var/log/openvswitch,g \
+    sliver-ovs.in > sliver-ovs
-- 
2.43.0