From e496f30dc5fbfd2452f192b1f2c8dcfa075a55ed Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Sun, 22 Nov 2009 19:14:19 +0000 Subject: generator: second parameter to upload is Dev_or_Path, not String. --- src/generator.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/generator.ml b/src/generator.ml index 89c1925a..1c533fae 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"]; -- cgit