diff options
| author | Jakub Kicinski <[email protected]> | 2024-03-04 21:13:26 -0800 |
|---|---|---|
| committer | David S. Miller <[email protected]> | 2024-03-06 12:05:10 +0000 |
| commit | 4e887471e8e3a513607495d18333c44f59a82c5a (patch) | |
| tree | 869480f4b543217e156252579d7107253d999125 /lib/crypto/mpi/mpi-bit.c | |
| parent | db72b6fc8fa0eae6ad69707dcce7db5e7cd32180 (diff) | |
tools: ynl: rename make hardclean -> distclean
The make target to remove all generated files used to be called
"hardclean" because it deleted files which were tracked by git.
We no longer track generated user space files, so use the more
common "distclean" name.
Signed-off-by: Jakub Kicinski <[email protected]>
Reviewed-by: Donald Hunter <[email protected]>
Signed-off-by: David S. Miller <[email protected]>
Diffstat (limited to 'lib/crypto/mpi/mpi-bit.c')
0 files changed, 0 insertions, 0 deletions