diff options
Diffstat (limited to 'virt-df/virt_df_main.ml')
| -rw-r--r--[-rwxr-xr-x] | virt-df/virt_df_main.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/virt-df/virt_df_main.ml b/virt-df/virt_df_main.ml index bc4096b..1359b28 100755..100644 --- a/virt-df/virt_df_main.ml +++ b/virt-df/virt_df_main.ml @@ -17,4 +17,7 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. *) +(* We just need this so that the filesystem modules get a chance to + * register themselves before we run the main program. + *) let () = Virt_df.main () |