- Jan 31, 2020
-
-
klang authored
-
- Aug 19, 2019
-
-
klang authored
If SUPPORT isn't defined to an existing directory in xxx, make release throws error messages about not being able to find an include file when make goes to build its dependency web. However, make release is what is writing SUPPORT to be a given directory, so we'll just make the includes optional to quiet the build.
-
- Aug 14, 2019
- Aug 12, 2019
-
-
klang authored
-
- Jun 12, 2019
- May 06, 2019
-
-
klang authored
-
- Apr 19, 2019
-
-
klang authored
-
- Apr 04, 2019
-
-
klang authored
Compare pids as integers to avoid problems caused by leading whitespace
-
- Mar 07, 2019
-
-
kpetersn authored
-
- Mar 05, 2019
-
-
Pete Jemian authored
-
Pete Jemian authored
-
Pete Jemian authored
-
Pete Jemian authored
-
- Mar 04, 2019
-
-
Pete R Jemian authored
-
- Jan 10, 2019
-
-
klang authored
-
- Dec 14, 2018
-
-
kpetersn authored
BASH scripting changes
-
- Dec 10, 2018
-
-
klang authored
-
- Dec 06, 2018
-
-
klang authored
-
- Dec 04, 2018
-
-
Pete R Jemian authored
-
- Nov 29, 2018
-
-
Pete R Jemian authored
-
Pete R Jemian authored
-
prjemian authored
needs testing before closing this issue
-
prjemian authored
-
Pete R Jemian authored
-
Pete R Jemian authored
-
Pete R Jemian authored
-
- Sep 06, 2018
-
-
klang authored
Allow redefines (specifically of CHECK_RELEASE)
-
- Aug 23, 2018
-
-
klang authored
-
- Jul 20, 2018
-
-
klang authored
-
- Jul 16, 2018
- Jul 12, 2018
-
-
klang authored
-
- Jul 10, 2018
- Jul 09, 2018