Date:2012-02-17 18:24:59 (7 years 4 months ago)
Author:Werner Almesberger
Commit:b05481fce3d43c030a3086bf56ed11add86b432e
Message:m1nor: search fjmem.bit also in /usr{/local,}/share/milkymist/fjmem.bit

Files: m1/tools/m1nor (1 diff)

Change Details

m1/tools/m1nor
6868else
6969    fjmem=
7070    for n in $HOME/.qi/milkymist/*/fjmem.bit \
71        $HOME/.qi/milkymist/*/*/fjmem.bit; do
71        $HOME/.qi/milkymist/*/*/fjmem.bit \
72        /usr/local/share/milkymist/fjmem.bit \
73        /usr/share/milkymist/fjmem.bit; do
7274        if [ -r "$n" ]; then
7375            fjmem="$n"
7476            break

Archive Download the corresponding diff file

Branches:
master



interactive