Committing NON-WORKING cil tools directory. This code all needs

[ocaml-bitstring.git] / cil-tools / ext3.c

diff --git a/cil-tools/ext3.c b/cil-tools/ext3.c
index ba35518..89ca20d 100644 (file)
--- a/cil-tools/ext3.c
+++ b/cil-tools/ext3.c
@@ -1,7 +1,7 @@
 /* This is an example import file, showing how to import the ext3
  * superblock automatically from Linux header files.
  *
- * Use: bitmatch-import-c ext3.c
+ * Use: bitmatch-import-c ext3.c > ext3_stubs.ml
  *
  * Tip: Add the --debug flag to that command line to see what's going on.
  */