Permalink
Browse files

Added bin/contrib/gwpublic/gwpublic to ALL_EXE and fixed warnings.

  • Loading branch information...
sagotch committed Nov 20, 2018
1 parent d236130 commit 9029f26e1c15ef6409b20caf3546e921bbfc76a1
Showing with 4 additions and 1 deletion.
  1. +1 −0 Makefile
  2. +1 −1 bin/contrib/gwpublic/dune
  3. +2 −0 bin/contrib/gwpublic/gwpublic.ml
@@ -47,6 +47,7 @@ ALL_EXE = \
bin/contrib/gwbase/etc/public2 \
bin/contrib/gwpublic/gwiftitles \
bin/contrib/gwpublic/gwprivate \
bin/contrib/gwpublic/gwpublic \
bin/contrib/gwpublic/gwpublic1 \
bin/contrib/gwpublic/gwpublic2 \
bin/contrib/gwpublic/gwpublic2priv \
@@ -1,4 +1,4 @@
(executables
(names gwpublic1 gwpublic2 gwpublic2priv gwprivate gwiftitles)
(names gwpublic gwpublic1 gwpublic2 gwpublic2priv gwprivate gwiftitles)
(libraries geneweb)
)
@@ -1,3 +1,5 @@
open Geneweb.Def

let list_ind = ref ""
let ind = ref ""
let bname = ref ""

0 comments on commit 9029f26

Please sign in to comment.