Bug 545389 - Manifest builder could report omitted .options file
Summary: Manifest builder could report omitted .options file
Status: NEW
Alias: None
Product: PDE
Classification: Eclipse Project
Component: UI (show other bugs)
Version: 4.10   Edit
Hardware: PC Windows 10
: P3 enhancement (vote)
Target Milestone: ---   Edit
Assignee: PDE-UI-Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-03-14 04:31 EDT by Ed Willink CLA
Modified: 2019-03-14 04:31 EDT (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ed Willink CLA 2019-03-14 04:31:18 EDT 
If a plugin has a .options file, it would be nice to have a warning if that file has not been included in build.properties.

(/org.eclipse.ocl.xtext.base.ui/.options is missing from 2019-03.)