summaryrefslogtreecommitdiff
path: root/debian/gnumach-dev.docs
diff options
context:
space:
mode:
authorGuillem Jover <guillem@debian.org>2008-07-08 13:11:39 +0000
committerGuillem Jover <guillem@debian.org>2008-07-08 13:11:39 +0000
commitd6040a1d3a800a407f3ac31b9ee441b53212bb5f (patch)
treea8f527702977beff210cf2d3e817a2fc43144892 /debian/gnumach-dev.docs
parent6ac0362e0dafb7f8d255452c1ccdbc51e9c3acb9 (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