From 0b1b1a11462d8c958ad4221920e173239e685d9f Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Thu, 29 Mar 2001 19:12:40 +0000
Subject: [PATCH] Copy input files as well.

---
 bin/lib | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/lib b/bin/lib
index 2e805f8..27ea9b4 100644
--- a/bin/lib
+++ b/bin/lib
@@ -159,6 +159,7 @@ function test-run
 	echo "Executable file: $TDIR/$PROBLEM"
 	cp $TDIR/$PROBLEM $BOXDIR/
 	echo "Input: $TDIR/$PROBLEM"
+	ln $PDIR/$TEST.in $TDIR/$TEST.in
 	cp $PDIR/$TEST.in $BOXDIR/$PROBLEM.in
 	echo "Input files:"
 	ls -Al $BOXDIR
-- 
2.39.2