diff options
Diffstat (limited to 'tools/linux_packaging/build')
| -rwxr-xr-x | tools/linux_packaging/build | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/tools/linux_packaging/build b/tools/linux_packaging/build index 67d3abaef6..00d7962014 100755 --- a/tools/linux_packaging/build +++ b/tools/linux_packaging/build @@ -677,8 +677,8 @@ if test x$WITH_X42_LV2 != x ; then unzip -q -d "$APPLIB/LV2/" "${CACHEDIR}/${proj}-lv2-linux-${WARCH}-${X42_VERSION}.zip" done fi -################################################################################ +################################################################################ if test x$WITH_HARVID != x ; then cd $APPBIN @@ -704,6 +704,18 @@ if test x$WITH_HARVID != x ; then cd - fi +################################################################################ + +if test x$DEMO_SESSION_URL != x ; then + mkdir -p $Shared/sessions + DEMO_SESSIONS=$(curl -s -S --fail $DEMO_SESSION_URL/index.txt) + for demo in $DEMO_SESSIONS; do + curl -s -S --fail -# -o $Shared/sessions/$demo $DEMO_SESSION_URL/$demo + done +fi + +################################################################################ + # # Add the uninstaller # |