Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002222Frama-CPlug-in > wppublic2016-04-09 08:442016-04-09 08:44
Assigned Tocorrenson 
PlatformAllOSOpenBSDOS Version
Product Version 
Target VersionFixed in Version 
Summary0002222: Make find(1) command POSIX-compliant
Descriptionsrc/plugins/wp/share/Makefile uses the -delete option of find(1), which is a GNU extension. The same behavior can be achieved using the POSIX-specified -exec option. The attached patch changes this Makefile to use -exec, fixing 'make clean' on systems that don't use GNU find. Thanks, Mike
Steps To ReproduceRun 'make clean' on a system that uses a non-GNU find(1) utility.
TagsNo tags attached.
Attached Filesdiff file icon t.diff [^] (471 bytes) 2016-04-09 08:44 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2016-04-09 08:44 mmcc New Issue
2016-04-09 08:44 mmcc Status new => assigned
2016-04-09 08:44 mmcc Assigned To => correnson
2016-04-09 08:44 mmcc File Added: t.diff

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker