| commit | 0e5a7338877c7ef0f8e021e7390f9d6cf80d7875 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 21 21:09:36 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 21 21:09:36 2002 +0000 |
| tree | a913c2bab7ecc2f3434b958b0a1f434267a9d7ba | |
| parent | 99286f96ac3ebcc0d9c07185bdc15cab76a46ecf [diff] |
Solve sync() signature conflict differently: manually return 0 if we have GUSI's void sync().