No such thing as --codegen.

diku-dk · Apr 10, 2019 · 4854c5d · 4854c5d
1 parent 6594f25
commit 4854c5d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/man/futhark-bench.rst b/docs/man/futhark-bench.rst
@@ -64,7 +64,7 @@ OPTIONS
   Pass an option to benchmark programs that are being run.  For
   example, we might want to run OpenCL programs on a specific device::
 
-    futhark bench prog.fut --codegen=opencl --pass-option=-dHawaii
+    futhark bench prog.fut --backend=opencl --pass-option=-dHawaii
 
 --runner=program