1DOLLY 72PACKAGE session-recover3REQUIRES HOST runtime@045# session-recover copies the files a saved session holds under /home and6# /workspace into a new directory.7FROM /v0.1.5/Dollyfile-system-build cf9cf053fb5debc080062e6e44c1b139175739f6158fa8a825b0255ba2063aee89REQUIRES HEADER libc10REQUIRES TOOL cc11REQUIRES TOOL rm1213SOURCE /v0.1.5/dist/static/session-recovery/session-recover.c c401619a8a3642b8cf72221bff35fa906a3f33ddbb208f485dcea2028a284ee1 /tmp/session-recovery/session-recover.c14SOURCE /v0.1.5/dist/static/session-recovery/session-records.h 2ed107133fae1ad98412a5b47c19e5ae16c72f2a7875b26723431a3b644f29bd /tmp/session-recovery/session-records.h15SOURCE /v0.1.5/dist/static/session-recovery/fs-record.h 39c5a2db21354acbafdad665ec41d339309e926a62161c4eb6da279768c5fbe8 /tmp/session-recovery/fs-record.h1617SLOP cc -O1 -I/tmp/session-recovery /tmp/session-recovery/session-recover.c -o /usr/bin/session-recover18EXPORTS TOOL session-recover19SLOP session-recover --help > /usr/share/man/cat1/session-recover.120FILE /usr/share/man/cat1/session-recover.121SLOP rm -rf /tmp/session-recovery22