Closed gdt closed 1 year ago
src/Makefile.OCaml used "*.{o,obj}" which is a bash extension. make by default uses the system /bin/sh, and that in general does not support bash extensions.
Fixes #808 as tested on NetBSD.
src/Makefile.OCaml used "*.{o,obj}" which is a bash extension. make by default uses the system /bin/sh, and that in general does not support bash extensions.
Fixes #808 as tested on NetBSD.