diff options
Diffstat (limited to 'quickstart/Makefile')
-rw-r--r-- | quickstart/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/quickstart/Makefile b/quickstart/Makefile index 07359b2..7d38794 100644 --- a/quickstart/Makefile +++ b/quickstart/Makefile @@ -119,8 +119,9 @@ $(TARGETS:=.1.svg): %.svg: %.rdf ${SVG_ISAVIZ_path}/${SVG_ISAVIZ_runner} >>${SVG_ISAVIZ_cfg} echo '</isv:config>' >>${SVG_ISAVIZ_cfg} pushd ${SVG_ISAVIZ_path} 2>/dev/null && \ - ( ${SVG_ISAVIZ_runner} || : ) && \ - popd 2>/dev/null + ( cat ${SVG_ISAVIZ_runner} \ + | sed 's|\(ISAVIZ_HOME=\).*|\1${SVG_ISAVIZ_path}|' \ + | sh || : ) && popd 2>/dev/null mv ${SVG_ISAVIZ_cfg}.$(@:.1.svg=) ${SVG_ISAVIZ_cfg} || rm -f ${SVG_ISAVIZ_cfg} ${DEBUG_RM_DEP} |