# HG changeset patch # User Pascal Bellard # Date 1396606155 0 # Node ID ad2376b180230de0743bd4ac13dfdb1716995f90 # Parent 79c3da56dd25ffbdf05629f1227d58a5dfbad3d2 rr: fix paths diff -r 79c3da56dd25 -r ad2376b18023 rr/receipt --- a/rr/receipt Fri Apr 04 08:26:30 2014 +0000 +++ b/rr/receipt Fri Apr 04 10:09:15 2014 +0000 @@ -19,7 +19,7 @@ sed -i 's|errno.h>|linux/ptrace.h>\n#include <&|' src/task.cc src/util.cc mkdir ../obj cd ../obj - cmake $src + cmake -DCMAKE_INSTALL_PREFIX=/usr $src make && make DESTDIR=$DESTDIR install }