diff options
author | Guillem Jover <guillem@debian.org> | 2008-07-08 13:11:39 +0000 |
---|---|---|
committer | Guillem Jover <guillem@debian.org> | 2008-07-08 13:11:39 +0000 |
commit | d6040a1d3a800a407f3ac31b9ee441b53212bb5f (patch) | |
tree | a8f527702977beff210cf2d3e817a2fc43144892 /debian/gnumach-dev.docs | |
parent | 6ac0362e0dafb7f8d255452c1ccdbc51e9c3acb9 (diff) |
Use $(filter ...) instead of $(findstring ...)
To properly extract space separated options from DEB_BUILD_OPTIONS.
Diffstat (limited to 'debian/gnumach-dev.docs')
0 files changed, 0 insertions, 0 deletions