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.4/Dollyfile-system-tools 7f6c86fcc73e544e7007646eba2718bbc4d43b7f0516d9558e2dc500b1a05a8089REQUIRES HEADER libc10REQUIRES TOOL cc11REQUIRES TOOL rm1213SOURCE /v0.1.4/dist/static/session-recovery/session-recover.c 5f1c6511cc7e23b6714da04b5e52734460a584d530df4585ee0625ecf07c0ffb /tmp/session-recovery/session-recover.c14SOURCE /v0.1.4/dist/static/session-recovery/session-records.h 22546db4c90c893af00e7b34be3def89d066c634a1b6c3422a55825d422dbab8 /tmp/session-recovery/session-records.h15SOURCE /v0.1.4/dist/static/session-recovery/fs-record.h 585989ac06fab7f4ba0325aa1faefa414b45f96d72b3525838cea7cdffe80e3c /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