Skip to content
Snippets Groups Projects
Commit a0cad791 authored by Thomas Moulard's avatar Thomas Moulard
Browse files

Update dg-shell-plugin to match new dg-shell usage.

parent 31ca7349
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tools/dg-shell-plugin.cmake
+ 1
− 1
View file @ a0cad791
...@@ -3,4 +3,4 @@ tmp=`mktemp` ...@@ -3,4 +3,4 @@ tmp=`mktemp`
echo "-- Launching dynamic-graph C shell with default plugins" 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-functions.so" > $tmp
echo "loadPlugin ${CMAKE_INSTALL_PREFIX}/lib/plugin/shell-procedure.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 $@
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment