-
Simon Marlow authored
- do $(SCRIPT_SUBST) properly for shell scripts. - don't bomb out if the rmdir fails when cleaning split_objs directories.
Simon Marlow authored- do $(SCRIPT_SUBST) properly for shell scripts. - don't bomb out if the rmdir fails when cleaning split_objs directories.
Loading