diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2016-11-25T23·37+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2016-11-25T23·38+0100 |
commit | 215b70f51e5abd350c9b7db656aedac9d96d0046 (patch) | |
tree | 95778448ecdfbc1d8f4c254813cc5d91ed62a832 /mk/libraries.mk | |
parent | f78126bfd6b6c8477fcdbc09b2f98772dbe9a1e7 (diff) |
Revert "Get rid of unicode quotes (#1140)"
This reverts commit f78126bfd6b6c8477fcdbc09b2f98772dbe9a1e7. There really is no need for such a massive change...
Diffstat (limited to 'mk/libraries.mk')
-rw-r--r-- | mk/libraries.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mk/libraries.mk b/mk/libraries.mk index 8f60b0e001e1..3cd7a53107bd 100644 --- a/mk/libraries.mk +++ b/mk/libraries.mk @@ -11,9 +11,9 @@ else endif # Build a library with symbolic name $(1). The library is defined by -# various variables prefixed by '$(1)_': +# various variables prefixed by ‘$(1)_’: # -# - $(1)_NAME: the name of the library (e.g. 'libfoo'); defaults to +# - $(1)_NAME: the name of the library (e.g. ‘libfoo’); defaults to # $(1). # # - $(1)_DIR: the directory where the (non-installed) library will be @@ -45,7 +45,7 @@ endif # - $(1)_INSTALL_DIR: the directory where the library will be # installed. Defaults to $(libdir). # -# - BUILD_SHARED_LIBS: if equal to '1', a dynamic library will be +# - BUILD_SHARED_LIBS: if equal to ‘1’, a dynamic library will be # built, otherwise a static library. define build-library $(1)_NAME ?= $(1) |