Remove unnecessary command in build script#16

Sudha247 merged 1 commit intoocaml-dune:mainocaml-dune/dune-bin:mainfrom

gridbugs:remove-unnecessary-commandgridbugs/dune-bin:remove-unnecessary-commandCopy head branch name to clipboard