util-src/make.bat
author Matthew Wild <mwild1@gmail.com>
Fri, 07 Oct 2022 16:58:08 +0100
changeset 12750 7eabf8d78978
parent 446 5b5732d65792
permissions -rw-r--r--
util.roles: Return nil if the role has no explicit policy (fixes inheritance) Previously, if the first inherited role had no opinion, it returned false and prevented further consultation of other inherited roles. This bug was found thanks to the implementation of missing test cases identified through mutation testing.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
446
5b5732d65792 Added make.bat for windows
Waqas Hussain <waqas20@gmail.com>
parents:
diff changeset
     1
@nmake /nologo /f Makefile.win %*