[typetools/checker-framework] 5d93ba: Handle the possibility that the clean command fails

0 views

Skip to first unread message

unread,

Mar 6, 2023, 1:44:27 PM3/6/23

to checker-fr...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 5d93baf4d6987de41b18d4051c035d915ba24851
https://github.com/typetools/checker-framework/commit/5d93baf4d6987de41b18d4051c035d915ba24851
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2023-03-06 (Mon, 06 Mar 2023)

Changed paths:
M checker/bin-devel/wpi-plumelib/test-wpi-plumelib.sh
M checker/bin/wpi.sh

Log Message:
-----------
Handle the possibility that the clean command fails

Reply all

Reply to author

Forward

0 new messages