'time' depends on 'Win32' when Windows=YES; mirror that
authorsof@galois.com <unknown>
Tue, 30 May 2006 22:30:09 +0000 (22:30 +0000)
committersof@galois.com <unknown>
Tue, 30 May 2006 22:30:09 +0000 (22:30 +0000)
commitc247e8882ffdcedd62f8584f6c4edebac7c7eaba
treeea9647e874199de7f8b257fc3835a2088ef87f66
parent4285fd96248e6956beacb199d935e029c2f260e2
'time' depends on 'Win32' when Windows=YES; mirror that
when setting up SUBDIRS.
libraries/Makefile