From a0cad791befba9f6912ddb85c46d0d395a05430d Mon Sep 17 00:00:00 2001
From: Thomas Moulard <thomas.moulard@gmail.com>
Date: Sat, 1 Jan 2011 13:13:26 +0100
Subject: [PATCH] Update dg-shell-plugin to match new dg-shell usage.
---
tools/dg-shell-plugin.cmake | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/dg-shell-plugin.cmake b/tools/dg-shell-plugin.cmake
index 5a680046..ae800e35 100644
--- a/tools/dg-shell-plugin.cmake
+++ b/tools/dg-shell-plugin.cmake
@@ -3,4 +3,4 @@ tmp=`mktemp`
echo "-- Launching dynamic-graph C shell with default plugins"
echo "loadPlugin ${CMAKE_INSTALL_PREFIX}/lib/plugin/shell-functions.so" > $tmp
echo "loadPlugin ${CMAKE_INSTALL_PREFIX}/lib/plugin/shell-procedure.so" >> $tmp
-${CMAKE_INSTALL_PREFIX}/bin/dg-shell $tmp
+${CMAKE_INSTALL_PREFIX}/bin/dg-shell -i $tmp $@
--
GitLab