Skip to content

Commit 6ad6db5

Browse files
committed
ode4linux: ode-setup.patch
Fifth patch. Signed-off-by: Andrei Warkentin <andrey.warkentin@gmail.com>
1 parent df376a8 commit 6ad6db5

1 file changed

Lines changed: 8 additions & 0 deletions

File tree

src/ode/setup/setup.sh

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -359,6 +359,14 @@ rm -rf ${objdir}/ode/bin/makepath
359359
cp ${objdir}/ode/bin/build/build ${bindir}/build
360360
rm -rf ${objdir}/ode/bin/build
361361

362+
#
363+
# program to workon sandbox
364+
#
365+
(cd ode/bin/workon; \
366+
make ${MAKEOPTIONS} workon)
367+
cp ${objdir}/ode/bin/workon/workon ${bindir}/workon
368+
rm -rf ${objdir}/ode/bin/workon
369+
362370
#
363371
# program to install in non-sandbox environment
364372
#

0 commit comments

Comments
 (0)