diff options
| -rwxr-xr-x | src/generator.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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<device>. This uses the L<blockdev(8)> 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"]; |