config (ead5d1f4d877e92c051e1a1ade623d0d30e71619) config (c25ce589dca10d64dde139ae093abc258a32869c)
1#!/bin/bash
1#!/usr/bin/env bash
2# SPDX-License-Identifier: GPL-2.0
3# Manipulate options in a .config file from the command line
4
5myname=${0##*/}
6
7# If no prefix forced, use the default CONFIG_
8CONFIG_="${CONFIG_-CONFIG_}"
9

--- 220 unchanged lines hidden --- 		2# SPDX-License-Identifier: GPL-2.0
3# Manipulate options in a .config file from the command line
4
5myname=${0##*/}
6
7# If no prefix forced, use the default CONFIG_
8CONFIG_="${CONFIG_-CONFIG_}"
9

--- 220 unchanged lines hidden ---