Skip to content

Commit

Permalink
rename executable to simply weberizer
Browse files Browse the repository at this point in the history
I'm a stickler for good simple names and don't see why the executable
shouldn't be named simply `weberizer`. Only issue I see is that now
the filename is different from the final executable name, which can be
a bit confusing because you won't know that without reading the _oasis
file. But I still think this is better.
  • Loading branch information
agarwal committed Sep 30, 2012
1 parent 6fe9453 commit e36a555
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion _oasis
Expand Up @@ -15,7 +15,7 @@ Library weberizer
Modules: Weberizer
BuildDepends: netstring, str

Executable weberizer_compile
Executable weberizer
Path: src/
MainIs: weberizer_compile.ml
BuildDepends: weberizer
Expand Down

0 comments on commit e36a555

Please sign in to comment.