khorben 2ac3c55290 Use ${WRKDIR}/tmp for temporary files instead of $(mktemp -d) ... This is more portable. As suggested by joerg@.		2017-10-29 22:16:03 +00:00
..
patch-aa
patch-demo_ccc
patch-lp__solve_ccc	Use ${WRKDIR}/tmp for temporary files instead of $(mktemp -d)	2017-10-29 22:16:03 +00:00
patch-lp__utils.c
patch-lpsolve55_ccc	Use ${WRKDIR}/tmp for temporary files instead of $(mktemp -d)	2017-10-29 22:16:03 +00:00