Ignore:
Timestamp:
06/05/2020 10:18:27 AM (4 years ago)
Author:
Pierre Labastie <pierre@…>
Branches:
ablfs-more, legacy, trunk
Children:
36f5dce
Parents:
7e0a1b8
Message:

Use a private name for MAKEFLAGS in jhalfs, so that it does not propagate
to top make, when ticking "Run the makefile"

File:
1 edited

Legend:

Unmodified
Added
Removed

  • optimize/optimize_functions

    r7e0a1b8 r9ef12f7  
    1919  echo -e "asking for support.${OFF}\n"
    2020
    21   echo -e "MAKEFLAGS: ${L_arrow}${BOLD}${MAKEFLAGS}${OFF}${R_arrow}"
    22   [[ "$MAKEFLAGS" = "unset" ]] && echo
    23   [[ "$MAKEFLAGS" != "unset" ]] && \
     21  echo -e "MAKEFLAGS: ${L_arrow}${BOLD}${JH_MAKEFLAGS}${OFF}${R_arrow}"
     22  [ -n "$JH_MAKEFLAGS" ] && \
    2423  echo -e "BLACK_LIST: ${L_arrow}${BOLD}${BLACK_LIST}${OFF}${R_arrow}\n"
    2524
    … …  
    7978    MKF=unset
    8079  else
    81     MKF=$MAKEFLAGS
     80    MKF=$JH_MAKEFLAGS
    8281  fi
    8382
    … …  
    8584(
    8685cat << EOF
    87         @echo "export MAKEFLAGS=\"$MAKEFLAGS\"" >> envars
     86        @echo "export MAKEFLAGS=\"$JH_MAKEFLAGS\"" >> envars
    8887EOF
    8988) >> $MKFILE.tmp
Note: See TracChangeset for help on using the changeset viewer.