From e496f30dc5fbfd2452f192b1f2c8dcfa075a55ed Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Sun, 22 Nov 2009 19:14:19 +0000 Subject: [PATCH] generator: second parameter to upload is Dev_or_Path, not String. --- src/generator.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/generator.ml b/src/generator.ml index 89c1925..1c533fa 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -1861,7 +1861,7 @@ Reread the partition table on C. This uses the L command."); - ("upload", (RErr, [FileIn "filename"; String "remotefilename"]), 66, [], + ("upload", (RErr, [FileIn "filename"; Dev_or_Path "remotefilename"]), 66, [], [InitBasicFS, Always, TestOutput ( (* Pick a file from cwd which isn't likely to change. *) [["upload"; "../COPYING.LIB"; "/COPYING.LIB"]; -- 1.8.3.1